Pex-White Box Test Generation for .NET
نویسندگان
چکیده
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to pathbounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce new test inputs which exercise different program behavior. The result is an automatically generated small test suite which often achieves high code coverage. In one case study, we applied Pex to a core component of the .NET runtime which had already been extensively tested over several years. Pex found errors, including a serious issue.
منابع مشابه
Survey on Test Data Generation Tools an Evaluation of White-and Gray-box Testing Tools for C#, C++, Eiffel, and Java
Automating the process of software testing is a very popular research topic and of real interest to industry. Test automation can take part on different levels, e.g., test execution, test case generation, test data generation. This survey gives an overview of state-ofthe art test data generation tools, either academic or commercial. The survey focuses on whiteand gray-box techniques. The list o...
متن کاملPeX - Parameterized Unit Tests in Visual Studio
The following seminar paper is dealing with the recently released new test tool PeX by Microsoft Reseach, which stands short for Program Exploration. The main idea behind it is based on Parameterized Unit Tests, a concept trying to get along with some issues evolving from standard unit tests by supporting the developer with the possibility to let PeX automatically explore the possible execution...
متن کاملParametrized Unit Testing Tool for. Net Framework
Unit testing has been widely recognized as an important and valuable means of improving software reliability, as it exposes bugs early in the software development life cycle. However, manual unit testing is often tedious and insufficient. Testing tools can be used to enable economical use of resources by reducing manual effort. Recently the use of parameters in unit testing has emerged as a ver...
متن کاملTest-Goal-Specific Termination Criteria for Evolutionary White-Box Testing by Means of Software Measures
White-box testing is an important test procedure for the early detection of errors during software development. It defines, depending on the coverage criteria selected, test goals, such as, for example, requirements, branches or conditions, which need to be achieved for a complete white-box test. Here, test data generation plays a crucial role, because it defines error-prone test data. A succes...
متن کاملTesting Database Applications with SQL Semantics
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database application testing can be broadly partitioned into the problems of test cases generation, test data preparation and test outcomes verification. Among the three problems, the problem of test cases generation directly affects the...
متن کامل